Typed lambda calculus

#	Item
161	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics
162	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:55:57 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
163	PDF Document Add to Reading List Source URL: homepages.ihug.co.nz Language: English - Date: 2003-07-30 18:33:02 Mathematics Computability theory Simply typed lambda calculus Spectral theory of ordinary differential equations De Bruijn index Lambda calculus Theoretical computer science Computer science